Structured theory presentations and logic representations
نویسندگان
چکیده
منابع مشابه
Structured Theory Presentations and Logic Representations
The purpose of a logical framework such as LF is to provide a language for deening logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic (in particular, proof search) is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object ...
متن کاملDataVizard: Recommending Visual Presentations for Structured Data
Selecting the appropriate visual presentation of the data such that it preserves the semantics of the underlying data and at the same time provides an intuitive summary of the data is an important, often the final step of data analytics. Unfortunately, this is also a step involving significant human effort starting from selection of groups of columns in the structured results from analytics sta...
متن کاملLearning structured representations
shruti is a connectionist model that demonstrates how a network of neuron-like elements can encode a large body of semantic, episodic, and causal knowledge, and rapidly make decisions and perform explanatory and predictive reasoning. To further ground this model in the functioning of the brain it must be shown that components of the model can be learned in a neurally plausible manner. Previous ...
متن کاملLearning Structured Text Representations
In this paper, we focus on learning structureaware document representations from data without recourse to a discourse parser or additional annotations. Drawing inspiration from recent efforts to empower neural networks with a structural bias (Cheng et al., 2016; Kim et al., 2017), we propose a model that can encode a document while automatically inducing rich structural dependencies. Specifical...
متن کاملcompactifications and representations of transformation semigroups
this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1994
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90009-4